逆 Ackermann 函數